Google DeepMind's AlphaProof Code Proves Signal's Encryption Secure at the Machine-Code Level
Posted on 12th Nov 2026 11:04:16 in Artificial Intelligence, Machine Learning
Tagged as: Google DeepMind, Signal, Cryptography, Formal Verification, AI Agents, Cybersecurity
Google DeepMind's AlphaProof Code used AI agents to mathematically verify libsignal's post-quantum handshake down to machine code in four weeks.
Anthropic's Claude Formalizes Fermat's Last Theorem: The First Machine-Checked Proof in 11 Days
Posted on 6th Sep 2026 07:38:59 in Artificial Intelligence, Machine Learning
Tagged as: AI, Anthropic, Claude, Fermat, Lean, mathematics, formal verification
Working largely autonomously, Claude produced the first end-to-end, computer-checked proof of Fermat's Last Theorem — 13 million lines of Lean, 29,500 theorems, and a 350-year-old story of certainty.
